Church encoding - PDFSEARCH.IO - Document Search Engine

Church encoding
Results: 48

#	Item
11	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
12	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
13	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
14	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
15	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
16	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming
17	Alonzo Church inventor of lambda calculus 9 Lambda Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Mathematics Anonymous function Function Binary lambda calculus Church encoding Lambda calculus Software engineering Declarative programming
18	ISO/IEC JTC1/SC2/WG2 N3990 L2/11-062R[removed]Title: Source: Author: Add to Reading List Source URL: std.dkuug.dk Language: English - Date: 2011-02-15 12:18:59 Christianity in Egypt Religion in Egypt Religion in Africa Character sets Coptic alphabet Universal Character Set Coptic language Copts Michael Everson Character encoding Coptic Orthodox Church Notation
19	ISO/IEC JTC1/SC2/WG2 N3843R L2/10-206R[removed]Title: Source: Author: Add to Reading List Source URL: std.dkuug.dk Language: English - Date: 2010-06-22 12:18:45 Religion in Africa Character sets Character encoding Notation Middle East Coptic alphabet Copts Coptic language Plane Coptic Orthodox Church Christianity in Egypt Religion in Egypt
20	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Combinatory logic Free variables and bound variables Natural deduction Church encoding Constructible universe Fixed-point combinator Theoretical computer science Lambda calculus Mathematical logic